A Petri Net Based System Modelling Tool with TEG Subsystem Model
نویسنده
چکیده
A Petri Net based system modelling tool has been developed for the design, simulation and analysis of real-time distributed systems. This tool allows the user to construct and edit hierarchical Petri Nets on a graphical workstation with a high-resolution screen and mouse. Some features of the tool are: the use of hierarchy in representing complex Petri Nets, capability of simulating Timed Petri Nets statically and dynamically, analysing Petri Nets on reachability and invariant properties, isolating Timed Event Graphs (TEGs) from a net, and deriving the corresponding transfer matrix and characteristic equation for the TEGs. The applicability and the use of the various features of the tool are presented in the paper through a flexible manufacturing system case study.
منابع مشابه
A Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملDrbd: Dynamic Reliability Block Diagrams for System Reliability Modelling
With the rapid advances of computer-based technology in mission-critical domains such as aerospace, military, and power industries, critical systems exhibit more complex, dependent, and dynamic behaviors. Such dynamic system behaviors cannot be fully captured by existing reliability modelling tools. In this paper, we introduce a new reliability modelling tool, called dynamic reliability block d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995